Modelling Temporal Behaviour in Complex Systems with Timebands

Complex real-time systems exhibit dynamic behaviours on many different time levels. To cope with the wide range of time scales and produce more dependable computer-based systems, we develop a timebands model that can explicitly recognise a finite set of distinct time bands in which temporal properties and associated behaviours are described. We formalise the timebands model by using the semantics of TCSPM to guarantee soundness of each operator and maintain consistency and coordination between different time bands. By means of a complicated example, we demonstrate how significantly the timebands model contributes to describing complex real-time systems with multiple time scales.